Pandya, Paritosh K.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Principles of concurrent and distributed programming : M. Ben-Ari, Series Editor C.A.R. Hoare, Prentice Hall International Series in Computer Science (Prentice Hall, Hemel Hempstead, United Kingdom, 1990), Price £17.95 (paperback), ISBN 0-13-711821-X.

Paritosh Pandya

Journal:

Science of Computer Programming

Year:

1991

Language:

english

File:

PDF, 328 KB

english, 1991

2

[ACM Press the 45th annual conference - Anaheim, California (2008.06.08-2008.06.13)] Proceedings of the 45th annual conference on Design automation - DAC '08 - Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts

Mohalik, Swarup, Rajeev, A. C., Dixit, Manoj G., Ramesh, S., Suman, P. Vijay, Pandya, Paritosh K., Jiang, Shengbing

Year:

2008

Language:

english

File:

PDF, 306 KB

english, 2008

3

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Two-variable Logic with a Between Relation

Krebs, Andreas, Lodaya, Kamal, Pandya, Paritosh, Straubing, Howard

Year:

2016

Language:

english

File:

PDF, 346 KB

english, 2016

4

Temperature profile measurement of graphite material using a CO2 laser

Mehta, Payal, Sarma, Arun, Ghosh, Joydeep, Pandya, Shwetang, Pandya, Santosh, Choudhuri, Paritosh, Govindarajan, J, Schrittwieser, C Ionita, Schrittwieser, Roman

Journal:

Physica Scripta

Year:

2010

Language:

english

File:

PDF, 372 KB

english, 2010

5

[IEEE 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Timisoara, Romania (2008.09.26-2008.09.29)] 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Timed and Hybrid Automata in SAL

Suman, P. Vijay, Pandya, Paritosh K.

Year:

2008

Language:

english

File:

PDF, 204 KB

english, 2008

6

Interval Duration Logic: Expressiveness and Decidability

Paritosh K. Pandya

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 227 KB

english, 2002

7

[Lecture Notes in Computer Science] FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science Volume 2914 || A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol

Pandya, Paritosh K., Radhakrishnan, Jaikumar

Year:

2003

File:

PDF, 221 KB

2003

8

The Saga of Synchronous Bus Arbiter: On Model Checking Quantitative Timing Properties of Synchronous Programs

Paritosh K. Pandya

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 182 KB

english, 2002

9

Measurement of emission current and temperature profile of emissive probe materials using CO2 LASER

Payal Mehta, Arun Sarma, Joydeep Ghosh, Shwetang Pandya, Santosh Pandya, Paritosh Choudhuri, J. Govindarajan, C. Ionita Schrittwieser, Roman Schrittwieser

Journal:

Current Applied Physics

Year:

2011

Language:

english

File:

PDF, 1.04 MB

english, 2011

10

Finite divergence

Michael R. Hansen, Paritosh K. Pandya, Zhou Chaochen

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 1.52 MB

english, 1995

11

[IEEE 2006 IEEE International Conference on Web Services (ICWS'06) - Chicago, IL, USA (2006.09.18-2006.09.22)] 2006 IEEE International Conference on Web Services (ICWS'06) - Representation, Verification, and Computation of Timed Properties in Web

Kazhamiakin, Raman, Pandya, Paritosh, Pistore, Marco

Year:

2006

Language:

english

File:

PDF, 457 KB

english, 2006

12

[Lecture Notes in Computer Science] FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science Volume 2914 || Distributed Games

Pandya, Paritosh K., Radhakrishnan, Jaikumar

Year:

2003

Language:

english

File:

PDF, 268 KB

english, 2003

13

Finding Extremal Models of Discrete Duration Calculus formulae using Symbolic Search

Paritosh K. Pandya

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 294 KB

english, 2005

14

Efficient guided symbolic reachability using reachability expressions

Dina Thomas, Supratik Chakraborty, Paritosh Pandya

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2008

Language:

english

File:

PDF, 598 KB

english, 2008

15

[IEEE 2014 21st International Symposium on Temporal Representation and Reasoning (TIME) - Verona, Italy (2014.9.8-2014.9.10)] 2014 21st International Symposium on Temporal Representation and Reasoning - Partially Punctual Metric Temporal Logic is Decidable

Madnani, Khushraj, Krishna, Shankara Narayanan, Pandya, Paritosh K

Year:

2014

Language:

english

File:

PDF, 370 KB

english, 2014

16

[Lecture Notes in Computer Science] FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science Volume 2914 || Analysis and Experimental Evaluation of a Simple Algorithm for Collaborative Filtering in Planted Partition Models

Pandya, Paritosh K., Radhakrishnan, Jaikumar

Year:

2003

Language:

english

File:

PDF, 233 KB

english, 2003

17

Infinitary parallelism without unbounded nondeterminism in CSP

K. Narayan Kumar, Paritosh K. Pandya

Journal:

Acta Informatica

Year:

1993

Language:

english

File:

PDF, 1.05 MB

english, 1993

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски